Merge branch 'better-dead-keys' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 22 Mar 2021 02:37:14 +0000 (02:37 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 22 Mar 2021 02:37:14 +0000 (02:37 +0000)
Better dead keys

See merge request GNOME/gtk!3329


Trivial merge